changes in util.py