No, it was your editor that ate that. I've corrected it now.