More minor style fixes (line separations)