web commit by tschwinge: Fix formatting from hell, again.