diff --git a/checker-qual/src/main/java/org/checkerframework/checker/index/qual/IndexFor.java b/checker-qual/src/main/java/org/checkerframework/checker/index/qual/IndexFor.java
index 4bfc213db19..7a8ba273313 100644
--- a/checker-qual/src/main/java/org/checkerframework/checker/index/qual/IndexFor.java
+++ b/checker-qual/src/main/java/org/checkerframework/checker/index/qual/IndexFor.java
@@ -19,7 +19,7 @@
  *
  * <pre>{@code
  * class String {
- *   char charAt(@IndexFor("this") index) { ... }
+ *   char charAt(@IndexFor("this") int index) { ... }
  * }
  * }</pre>
  *
diff --git a/docs/manual/index-checker.tex b/docs/manual/index-checker.tex
index ae6681b59d7..499b7377c65 100644
--- a/docs/manual/index-checker.tex
+++ b/docs/manual/index-checker.tex
@@ -124,7 +124,7 @@
 
   \begin{Verbatim}
   class String {
-    char charAt(@IndexFor("this") index) { ... }
+    char charAt(@IndexFor("this") int index) { ... }
   }
   \end{Verbatim}