fix some sphinx issues