diff --git a/src/attributes.rst b/src/attributes.rst
index fea83027..ac25b987 100644
--- a/src/attributes.rst
+++ b/src/attributes.rst
@@ -2082,7 +2082,7 @@ terminates and does not :t:`panic`.
 
 :dp:`fls_niky8lbkvej9`
 A :t:`testing function` that returns ``core::result::Result<(), E>`` passes when
-it returns ``core::result::Result::OK(())``.
+it returns ``core::result::Result::Ok(())``.
 
 :dp:`fls_qfuntdm2g184`
 A :t:`testing function` that does not terminate shall pass and fail according to