diff --git a/INSTALL.in b/INSTALL.in
index 17dadf11e1..ef4bbde83d 100644
--- a/INSTALL.in
+++ b/INSTALL.in
@@ -203,7 +203,7 @@ These are:
      on. The default is for debugging to be disabled. NOTE: This
      option is intended primarily as a convenience for developers.
 
-  --enable-profile and --disable-profile. This options causes the build
+  --enable-profile and --disable-profile. This option causes the build
      process to compile with execution profiling enabled. The default is
      for profiling to be disabled. NOTE: This option is intended primarily
      as a convenience for developers.