Trivial editing of config.xml