"A pity.