2013-12-23: fix typo