Fix typo and formatting

Fixes #1028