--- a/KnownBugs.wiki	Fri Jun 07 21:56:53 2013 +0000
+++ b/KnownBugs.wiki	Fri Jun 07 22:05:22 2013 +0000
@@ -13,7 +13,7 @@
 || Workaround || Start Hedgewars and click the "Downloadable Content" button. After the page (hopefully loaded) download "Fix for Mission maps in original 0.9.19 release. Mission Maps Hotfix". Note: This fix will only affect the currently logged-in windows user. ||
 || *Solution* || Re-download and reinstall Hedgewars 0.9.19 (the updated hedgewars installer for windows is fixed) ||
 
-== 'Quick game' will fail to start if the randomly chosen theme for the map is a downloaded from DLC or installed manually.  ==
+== 'Quick game' will fail to start if the randomly chosen theme for the map is a DLC/manually-installed theme  ==
 || Workaround || None. Just restart quick game until a default theme is randomly chosen, then the game should load normally ||
 || See also || issue 664 [http://code.google.com/p/hedgewars/source/detail?r=955a90b8886577fcc8f20b7c6e3a64d6518a8c5f fix 955a90b8886577fcc8f20b7c6e3a64d6518a8c5f] ||