fix nodoc bug