it is a pity; what a pity; unfortunately