Fixed machine semantics. Should be ok now.