Fix demo7.py