Fixed an Umlaut-related bug.