Small tweak and fix in python.snippets