fixed machine: no random symbol outside config