we probably should put this in util.py