Fix bug introduced by 1bf5243fa6247fbfad5d704499f15f9ae3321651