a few misc whitespace formatting changes and a tweak to a comment