py3: fixup print