Added a stray change to the config script, that was forgotten.