fixed bug in revtest.py