Minor typos (fixes #8496)