2013-12-15: fix typo