Removing non-ASCII character to make Travis happy