DOC: fix non-ascii character (from #7698)