Formatting fixes

Some simple formatting updates