diff -r a7a49e2ea0e9 -r 97c1cc234b67 Flags.wiki
--- a/Flags.wiki	Thu Dec 04 00:56:20 2014 +0000
+++ b/Flags.wiki	Thu Dec 04 01:01:46 2014 +0000
@@ -9,7 +9,7 @@
 
 To install a flag, put it into `Data/Graphics/Flags` of the Hedgewars data directory.
 
-The file name has have “.png” at the end, the file suffix will not be shown in Hedgewars. Depending on the name, the flag will be displayed in different ways in Hedgewars:
+The file name must have “.png” at the end, the file suffix will not be shown in Hedgewars. Depending on the name, the flag will be displayed in different ways in Hedgewars:
 
  * Default flag: The flag “hedgewars.png” (shows a hedgehog), flag of new teams
  * Community flags: The flags whose file name starts with “`cm_`” are listed as “community flags” in Hedgewars (the prefix is removed)