Make python linter happier.