Fix some minor formatting issue

See #82.