fallout from previous patch
Spotted by Joerg Oster.

No functional change.