Fix compilation error, part 4