Removed a possible non-ASCII chars

Hoping this fixes a Jenkins build failure.