Fix bug introduced in 9e3494d3740a0e1bcdfa24acb9a7f8987f57b269