Fix formatting bug introduced in previous commit, fixes #230