whitespace edit
(#524)