Fix sphinx script