web commit by tschwinge: Typo fix.