Minor corrections on documentation