A bit of progress on RevWalking