Fix runservery.py