Fix formatting, issue #228