Minor style/formatting changes

shouldn't break anything