Ah. Well this was just something the text editor I did when adding new lines. It makes sense to indent blank lines with the rest of the text anyway, for consistency. At least that's convention I've always followed, and indeed seen in many places.