(TXT) Workaround for a Heisenbug