DOC: minor doc fix