diff --git a/src/Commands.php b/src/Commands.php
index 66e3d1e..7293c38 100644
--- a/src/Commands.php
+++ b/src/Commands.php
@@ -201,7 +201,7 @@ private static function displayHelp(
             return Attempt::result($env);
         }
 
-        /** @var positive-int */
+        /** @var int<1, max> */
         $maxLength = \max($lengths);
 
         $rows = $usages->map(
diff --git a/src/Console.php b/src/Console.php
index 3c9b73b..8ba1316 100644
--- a/src/Console.php
+++ b/src/Console.php
@@ -54,7 +54,7 @@ public function options(): Options
     }
 
     /**
-     * @param positive-int|null $length
+     * @param ?int<1, max> $length
      *
      * @return array{Attempt<Str>, self}
      */
diff --git a/src/Environment.php b/src/Environment.php
index 0cccb1b..a165b5f 100644
--- a/src/Environment.php
+++ b/src/Environment.php
@@ -70,7 +70,7 @@ public function interactive(): bool
     }
 
     /**
-     * @param ?positive-int $length
+     * @param ?int<1, max> $length
      *
      * @return array{Attempt<Str>, self}
      */
diff --git a/src/Environment/Implementation.php b/src/Environment/Implementation.php
index 369585d..d9c1605 100644
--- a/src/Environment/Implementation.php
+++ b/src/Environment/Implementation.php
@@ -24,7 +24,7 @@ interface Implementation
     public function interactive(): bool;
 
     /**
-     * @param ?positive-int $length
+     * @param ?int<1, max> $length
      *
      * @return array{Attempt<Str>, self}
      */