Other minor change on doc.