Make Lint happy