Fixed encoding of display.py.