Add missing nodoc