CONFIG takes a symbol argument (fixes #388)