Restore XML node names in the user preferences file, due to an incorrect translation