fix doc related to #478