minor fixes to the formatting