python: Shorten long line in example