fix some annoyance due to utf-8