formatting fixes #11

Closed mjmckay closed 3 years ago