! Fix: random 00012 errors in some configurations