Minor encoding fix