small fixes to the formatting