fix typo

fix a typo in python23.py