Fix a bug introduced with 344ef911ddadc18717e20eb76cbbd4b8a5f357d0.