minor pretty-fying edits