fix doc during previous compilation