sphinx and coverage