2013-12-02: fix typo