A few more bugfixes to rop.py