Stylistic stuff: unneeded empty comment lines.