Doc: correction after review