Doc tweaks for readthedocs