Fix compilation error, part 7