fixed build issue with non-ascii in docs