Fixed creation of html docs on python 3.

Thanks to Alan Lu for the report and the patch.