Fix inconsistency in the doc