Fix encoding of model4.py and model5.py