[DOC] Small dox fix.