Heisenbug destroyed