fixed html generation problem on readthedocs