Try to fix certain heisenbug