Fix compilation error, part 3