Fix bug Joern Rennecke reported.