#740: Adjust minor typos

Resolves #740.