diff --git a/static/misc/play/asmallworldcup b/static/misc/play/asmallworldcup.html
similarity index 100%
rename from static/misc/play/asmallworldcup
rename to static/misc/play/asmallworldcup.html