more style/whitespace edits, very minor, convert tabs to spaces
(#524)