diff --git a/language_service/src/hover.rs b/language_service/src/hover.rs
index 6f9fc57405..6c0a824bd1 100644
--- a/language_service/src/hover.rs
+++ b/language_service/src/hover.rs
@@ -55,7 +55,7 @@ impl<'a> Handler<'a> for HoverGenerator<'a> {
         let description = match name.name.as_ref() {
                 "Config" => "Provides pre-processing information about when an item should be included in compilation.
 
-Valid arguments are `Adaptive`, `IntegerComputations`, `FloatingPointComputations`, `BackwardsBranching`, `HigherLevelConstructs`, and `QubitReset`.
+Valid arguments are `Base`, `Adaptive`, `IntegerComputations`, `FloatingPointComputations`, `BackwardsBranching`, `HigherLevelConstructs`, `QubitReset`, and `Unrestricted`.
 
 The `not` operator is also supported to negate the attribute, e.g. `not Adaptive`.",
                 "EntryPoint" => "Indicates that a callable is an entry point to a program.",
diff --git a/language_service/src/hover/tests.rs b/language_service/src/hover/tests.rs
index f8e9ae8e7a..670950c22c 100644
--- a/language_service/src/hover/tests.rs
+++ b/language_service/src/hover/tests.rs
@@ -73,7 +73,7 @@ fn attr_with_arg() {
 
             Provides pre-processing information about when an item should be included in compilation.
 
-            Valid arguments are `Adaptive`, `IntegerComputations`, `FloatingPointComputations`, `BackwardsBranching`, `HigherLevelConstructs`, and `QubitReset`.
+            Valid arguments are `Base`, `Adaptive`, `IntegerComputations`, `FloatingPointComputations`, `BackwardsBranching`, `HigherLevelConstructs`, `QubitReset`, and `Unrestricted`.
 
             The `not` operator is also supported to negate the attribute, e.g. `not Adaptive`."#]],
     );