Bug with importing rtd theme on rtd