Fixup some python lint