Do the same for the dev_config.

I of course forgot this one, sorry :)