Fix a stupid bug in the fix for an unreported bug.

(See b102325.)