Fetching details from the dictionary...
it is to be regretted that ...; it is a pity that ...; it is unfortunate that ...