Minor (?) formatting fixes