Can now run under Python3.
Pushed.