undo unneeded blank line change, see #360