Re #9919 Fix non ascii character