web commit by tschwinge: Typo fixes.