Small fixes for readthedocs