Fix a small documentation formatting mistake.