Make the linter happy