web commit by tschwinge: Thanks!, and a bug report.