Update stale comment
Tweak pretty output (silly initial whitespace)