minor formatting fixes

Fixed some very minor formatting issues