(Very minor) consistent formatting of "// ... stuff ..." comments.