Minor typo-bug fixes