small tweak to wprefresh.py