use print_function (working towards python 2+3 compatibility)