minor correction in pro.py