Workaround for ReadTheDocs.org

See also: http://bit.ly/sphinx-pull-107