Issue #26: fix formatting