Workaround for readthedocs.org not using Sphinx 1.3 yet.