Bad double-set of sphinx option