diff --git a/doc/org.eclipse.cdt.doc.user/reference/cdt_u_prop_general.htm b/doc/org.eclipse.cdt.doc.user/reference/cdt_u_prop_general.htm
index f8510529716..fda56d39a2c 100644
--- a/doc/org.eclipse.cdt.doc.user/reference/cdt_u_prop_general.htm
+++ b/doc/org.eclipse.cdt.doc.user/reference/cdt_u_prop_general.htm
@@ -16,7 +16,7 @@
Documentation tool comments
Specifies which documentation tool should be used to determine editor presentation and behaviors. This
enables editor features such as content-assist, documentation comment generation and syntax highlighting. The particular
- tool selected here will be used the files under this project and overrides the workspace level preference.
+ tool selected here will be used for the files under this project and overrides the workspace level preference.
Note this preference is only available for the project level.
Available for :
Any projects, folders and files regardless of project kind