fix typo: "Wenn" --> "When"