typo. use older theme until readthedocs.org updates