Assorted typos (one meaningful)