Fix bug 3177, two typos.