config.re fix