diff --git a/main/install/install_functions.inc.php b/main/install/install_functions.inc.php
index 17f6ed42f7..3d63df7320 100644
--- a/main/install/install_functions.inc.php
+++ b/main/install/install_functions.inc.php
@@ -59,7 +59,7 @@ function check_extension($extension_name,$return_success='OK',$return_failure='K
 
 
 /**
- * This function checks if a php settings matches the recommended value
+ * This function checks whether a php setting matches the recommended value
  *
  * @author Patrick Cool <patrick.cool@UGent.be>, Ghent University
  * @version Dokeos 1.8, august 2006