Thanks a lot. Yes: collision detection is flaky after some recent changes. Going to work on it.