Python: bug fix: wrong printf().