Fix compilation error in previous pull