Fix typos made in PR #764

Fix typos in PR #764.
Send new PR since #764 was merged before this modification.