Fix typos, unify formatting

Fixes a few typos and styling inconsistencies.