fix doc

#3951