Make python linter happy