fix non-ascii character in docs