2013-12-11: fix typo