small tweak to wprefresh.py again...