Some corrections on Doc