Fix copy/paste clumsiness in settings.xml