Still two other typos that have escaped for a while.