Workaround for a Heisenbug