2013-12-16: fix typo