Fix Mike's Heisenbug.