Minor formatting fixes

See title