Tiny Python-bug