Added ASCII encoding that Python wanted