fix formatting #3