fix some sphinx stuff