fix a bit of formatting