Fix some buggy instructions in VM