Maybe it was caused by a bug in the debugger.