Bug fix introduced by a typo in a cleaning commit 31a42bf a few days ago.