a matter for regret; sth that is a (great) pity