2013-12-20: fix typo