2014-12-06: typos.