it is to be regretted that

• it is too bad that, what a pity that