Fix bug in abstract machine