2014-02-04: fixed typos