fix ps9.py