Minor sphinx improvement.