[DOC] Minor doc fix