fix formatting bug