fix typo in nodoc