Redex: fix a small bug in the list-machine example