Problem introduced by check-in [b9227b85cbd78].

Hurray for the | self-check] logic
that blocked the commit and thus prevented this bug from causing permanent
damage to the repository.