DOC: minor fix