added a few more facts to pyfacts.py