fix a couple of formatting issues