Fix reference to the action LPUSH performs wrt RPOPLPUSH