diff --git a/doc/src/Build_extras.txt b/doc/src/Build_extras.txt
index 1fd6c320ce..01a63f9d2e 100644
--- a/doc/src/Build_extras.txt
+++ b/doc/src/Build_extras.txt
@@ -94,7 +94,7 @@ which GPU hardware to build for.
                           # enables CUDA Performance Primitives Optimizations
                           # value = yes (default) or no
 -D CUDA_MPS_SUPPORT=value # enables some tweaks required to run with active nvidia-cuda-mps daemon
-                          # value = yes or no (default)
+                          # value = yes or no (default) :pre
 
 GPU_ARCH settings for different GPU hardware is as follows:
 
diff --git a/doc/utils/sphinx-config/false_positives.txt b/doc/utils/sphinx-config/false_positives.txt
index 14f5b89072..d30cfe4129 100644
--- a/doc/utils/sphinx-config/false_positives.txt
+++ b/doc/utils/sphinx-config/false_positives.txt
@@ -1267,6 +1267,7 @@ kcl
 Kd
 KDevelop
 ke
+kepler
 KE
 Keblinski
 keflag
@@ -1675,6 +1676,7 @@ mpiexec
 mpiio
 mpirun
 mplayer
+mps
 Mryglod
 mscg
 MSCG
@@ -1958,6 +1960,7 @@ oneway
 onn
 ons
 OO
+opencl
 openKIM
 OpenMP
 openmp