Fix some typos, and unify comment style