Hack to avoid RTD to be confused, as per sphinx_rtd_theme documentation.