fix heisenbug