Still broken, but terminates sometimes