diff --git a/gcc/config/arm/arm.opt b/gcc/config/arm/arm.opt
index ac497d96186e..8f85ffb050f6 100644
--- a/gcc/config/arm/arm.opt
+++ b/gcc/config/arm/arm.opt
@@ -77,7 +77,7 @@ Target RejectNegative Joined Var(target_float_abi_name)
 Specify if floating point hardware should be used
 
 mfp=
-Target RejectNegative Joined Undocumented Var(target_fpe_name) VarExists
+Target RejectNegative Joined Undocumented Var(target_fpe_name)
 
 ;; Now ignored.
 mfpe
diff --git a/gcc/config/rs6000/rs6000.opt b/gcc/config/rs6000/rs6000.opt
index 081d981da922..8ff390d6edce 100644
--- a/gcc/config/rs6000/rs6000.opt
+++ b/gcc/config/rs6000/rs6000.opt
@@ -144,7 +144,7 @@ Target Report RejectNegative Var(TARGET_NO_FP_IN_TOC)
 Do not place floating point constants in TOC
 
 mfp-in-toc
-Target Report RejectNegative Var(TARGET_NO_FP_IN_TOC,0) VarExists
+Target Report RejectNegative Var(TARGET_NO_FP_IN_TOC,0)
 Place floating point constants in TOC
 
 mno-sum-in-toc
diff --git a/gcc/doc/options.texi b/gcc/doc/options.texi
index 3afb3c11c218..05fa05b53230 100644
--- a/gcc/doc/options.texi
+++ b/gcc/doc/options.texi
@@ -169,8 +169,8 @@ The variable specified by the @code{Var} property already exists.
 No definition should be added to @file{options.c} in response to
 this option record.
 
-You should use this property if an earlier option has already declared
-the variable or if the variable is declared outside @file{options.c}.
+You should use this property only if the variable is declared outside
+@file{options.c}.
 
 @item Init(@var{value})
 The variable specified by the @code{Var} property should be statically