We have a "Heisenbug". I have enabled a "debug mode", under which the bug disappears, but I know where it's coming from.