DOC: minor correction