Fix compilation problem for sphinx docs