Minor typo fixes related to #570