r20481: Fix the build -- Stefan, please look at this ;-))