Is this deletion a mistake?