Fix compilation error from Lint