diff --git a/docs/manual/introduction.tex b/docs/manual/introduction.tex
index 1a7819fef36..3a4a4f37c01 100644
--- a/docs/manual/introduction.tex
+++ b/docs/manual/introduction.tex
@@ -1647,7 +1647,7 @@
 % LocalWords:  html JCIP MultiSet Astubs Afilenames Anomsgtext Ashowchecks tex
 % LocalWords:  Aquals processorpath regex RegEx Xmaxwarns com astub jaifs
 % LocalWords:  IntelliJ assertNotNull checkNotNull Goetz antipattern subclassed
-% LocalWords:  callees Xmx unconfuse fenum propkey forName
+% LocalWords:  callees Xmx unconfuse fenum propkey forName de step1 step2
 % LocalWords:  bootclasspath AonlyUses AskipDefs AonlyDefs AcheckPurityAnnotations
 % LocalWords:  AsuppressWarnings AassumeSideEffectFree Adetailedmsgtext m2
 % LocalWords:  AignoreRawTypeArguments AsuggestPureMethods ApermitMissingJdk
@@ -1669,9 +1669,9 @@
 % LocalWords:  AstubWarnIfNotFoundIgnoresClasses processOptions getopt
 % LocalWords:  EnsuresNonNull EnsuresNonNullIf checkername orElseThrow
 % LocalWords:  ArequirePrefixInWarningSuppressions MaybePresent checker''
-% LocalWords:  AignoreInvalidAnnotationLocations AprintGitProperties
+% LocalWords:  AignoreInvalidAnnotationLocations AprintGitProperties step3
 % LocalWords:  AstubWarnIfRedundantWithBytecode annotation'' AassumePure
 % LocalWords:  AassumeDeterministic stubfilename outputformat AparseAllJdk
 % LocalWords:  AmergeStubsWithSource MyBatis AdumpOnErrors AutoValue
 % LocalWords:  specification'' AwarnUnneededSuppressionsExceptions
-% LocalWords:  requireNonNull
+% LocalWords:  requireNonNull ApermitUnsupportedJdkVersion AstubWarnNote