Fixes to colons and spacing at end of comments

... make them consistent with the general style.

(Dull I know!)