Correct some typos.

This fixes #3877.