Clarify names of config files, since it's not a consistent rule