Some small python tools