fixing a bit of formatting