Minor sphinx fix