Fix after 65edea405976efbf80d7239f64b6e33e713cb32a