diff --git a/standard/types.md b/standard/types.md
index 2a35f7d9e..865f99dfb 100644
--- a/standard/types.md
+++ b/standard/types.md
@@ -869,8 +869,8 @@ Every expression has one of three ***null state***s:
 
 The ***default null state*** of an expression is determined by its type, and the state of the annotations flag when it is declared:
 
-- The default state of the `null` literal (§6.4.5.7) is maybe null.
-- The default state of a default value expression (§12.8.21) is not null when the type is a non-nullable value type, otherwise maybe null.
+- The default state of the `null` literal ([§6.4.5.7](lexical-structure.md#6457-the-null-literal)) is maybe null.
+- The default state of a default value expression ([§12.8.21](expressions.md#12821-default-value-expressions)) is not null when the type is a non-nullable value type, otherwise maybe null.
 - For all other expressions:
   - The default null state of an expression whose type is a nullable reference type is:
     - Maybe null when its declaration is in text where the annotations flag is enabled.
@@ -1171,7 +1171,7 @@ A compiler may issue a warning when nullability differs in either direction in t
 >
 > *end example*
 
-A compiler may issue a warning when the result of a lifted conversion operator (§10.6.2) is a reference type and is converted to a non-nullable reference type, since the result of a lifted conversion operator is maybe-null.
+A compiler may issue a warning when the result of a lifted conversion operator ([§10.6.2](conversions.md#1062-lifted-conversions)) is a reference type and is converted to a non-nullable reference type, since the result of a lifted conversion operator is maybe-null.
 
 > <!-- Example: {template:"code-in-class-lib", name:"LiftedOperator", ignoredWarnings:["CS8600"]} -->
 > ```csharp