Fix formatting, fixes #8