Cosmetics, fix typos (trivial).