Python 3 compatibility: use print()