fix formatting
Fixes #761