Fix bug introduced in 866f02ac06d3d1202928b4f6d41174e6050c4728.