This PR fixes some typos and polishes trivial stuff.