python3 fixes: use print() function