Fix typo in b34e37bfefbed1bf9396dde18f308d8b96fd176c.

Spotted by Peter Geoghegan.