2013-12-05: fix typo