Fix typo in nodoc