sphinx fix13