more Python 3 fixes, polish docs