Fix typos.
Merge pull request #4146 from HassenRiahi/FixTypos

Fix typos.