Fix a documentation formatting warning.