Oops: forgot some debug breakpoint