some python3 fixups