diff --git a/bin/ltlsynt.cc b/bin/ltlsynt.cc
index 1ab755e7f..a75b83790 100644
--- a/bin/ltlsynt.cc
+++ b/bin/ltlsynt.cc
@@ -34,22 +34,21 @@
 
 #include <spot/misc/bddlt.hh>
 #include <spot/misc/escape.hh>
-#include <spot/misc/game.hh>
 #include <spot/misc/timer.hh>
 #include <spot/tl/formula.hh>
 #include <spot/twa/twagraph.hh>
 #include <spot/twaalgos/aiger.hh>
 #include <spot/twaalgos/degen.hh>
 #include <spot/twaalgos/determinize.hh>
+#include <spot/twaalgos/game.hh>
+#include <spot/twaalgos/hoa.hh>
 #include <spot/twaalgos/parity.hh>
 #include <spot/twaalgos/sbacc.hh>
-#include <spot/twaalgos/totgba.hh>
-#include <spot/twaalgos/translate.hh>
-#include <spot/twa/twagraph.hh>
 #include <spot/twaalgos/simulation.hh>
 #include <spot/twaalgos/synthesis.hh>
 #include <spot/twaalgos/toparity.hh>
-#include <spot/twaalgos/hoa.hh>
+#include <spot/twaalgos/totgba.hh>
+#include <spot/twaalgos/translate.hh>
 
 enum
 {
diff --git a/python/spot/impl.i b/python/spot/impl.i
index a959310b2..e3c76fe2b 100644
--- a/python/spot/impl.i
+++ b/python/spot/impl.i
@@ -144,6 +144,7 @@
 #include <spot/twaalgos/iscolored.hh>
 #include <spot/twaalgos/isunamb.hh>
 #include <spot/twaalgos/isweakscc.hh>
+#include <spot/twaalgos/game.hh>
 #include <spot/twaalgos/langmap.hh>
 #include <spot/twaalgos/simulation.hh>
 #include <spot/twaalgos/split.hh>
@@ -165,8 +166,6 @@
 
 #include <spot/parseaut/public.hh>
 
-#include <spot/misc/game.hh>
-
 #include <spot/kripke/fairkripke.hh>
 #include <spot/kripke/kripke.hh>
 #include <spot/kripke/kripkegraph.hh>
@@ -668,6 +667,7 @@ def state_is_accepting(self, src) -> "bool":
 %include <spot/twaalgos/iscolored.hh>
 %include <spot/twaalgos/isunamb.hh>
 %include <spot/twaalgos/isweakscc.hh>
+%include <spot/twaalgos/game.hh>
 %include <spot/twaalgos/simulation.hh>
 %include <spot/twaalgos/parity.hh>
 %include <spot/twaalgos/postproc.hh>
@@ -695,8 +695,6 @@ def state_is_accepting(self, src) -> "bool":
 
 %include <spot/twaalgos/complement.hh>
 
-%include <spot/misc/game.hh>
-
 %include <spot/kripke/fairkripke.hh>
 %include <spot/kripke/kripke.hh>
 %include <spot/kripke/kripkegraph.hh>
diff --git a/spot/misc/Makefile.am b/spot/misc/Makefile.am
index 3fb3e70d8..7f2aa835f 100644
--- a/spot/misc/Makefile.am
+++ b/spot/misc/Makefile.am
@@ -1,5 +1,5 @@
 ## -*- coding: utf-8 -*-
-## Copyright (C) 2011, 2012, 2013, 2014, 2016-2018 Laboratoire de Recherche
+## Copyright (C) 2011-2014, 2016-2018, 2020 Laboratoire de Recherche
 ## et Développement de l'Epita (LRDE).
 ## Copyright (C) 2003, 2004, 2005, 2006 Laboratoire d'Informatique de
 ## Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC),
@@ -40,7 +40,6 @@ misc_HEADERS = \
   escape.hh \
   fixpool.hh \
   formater.hh \
-  game.hh \
   hash.hh \
   hashfunc.hh \
   intvcomp.hh \
@@ -67,7 +66,6 @@ libmisc_la_SOURCES = \
   clz.cc \
   escape.cc \
   formater.cc \
-  game.cc \
   intvcomp.cc \
   intvcmp2.cc \
   memusage.cc \
diff --git a/spot/twaalgos/Makefile.am b/spot/twaalgos/Makefile.am
index fd9d96218..f685f73a1 100644
--- a/spot/twaalgos/Makefile.am
+++ b/spot/twaalgos/Makefile.am
@@ -1,6 +1,6 @@
 ## -*- coding: utf-8 -*-
-## Copyright (C) 2008-2018 Laboratoire de Recherche et Développement
-## de l'Epita (LRDE).
+## Copyright (C) 2008-2018, 2020 Laboratoire de Recherche et
+## Développement de l'Epita (LRDE).
 ## Copyright (C) 2003-2005 Laboratoire d'Informatique de Paris 6
 ## (LIP6), département Systèmes Répartis Coopératifs (SRC), Université
 ## Pierre et Marie Curie.
@@ -50,6 +50,7 @@ twaalgos_HEADERS = \
   dualize.hh \
   emptiness.hh \
   emptiness_stats.hh \
+  game.hh \
   genem.hh \
   gfguarantee.hh \
   gv04.hh \
@@ -127,6 +128,7 @@ libtwaalgos_la_SOURCES = \
   isdet.cc \
   isunamb.cc \
   isweakscc.cc \
+  game.cc \
   langmap.cc \
   lbtt.cc \
   ltl2taa.cc \
diff --git a/spot/misc/game.cc b/spot/twaalgos/game.cc
similarity index 99%
rename from spot/misc/game.cc
rename to spot/twaalgos/game.cc
index c1f6107cd..03fca1bea 100644
--- a/spot/misc/game.cc
+++ b/spot/twaalgos/game.cc
@@ -20,7 +20,7 @@
 #include "config.h"
 
 #include <cmath>
-#include <spot/misc/game.hh>
+#include <spot/twaalgos/game.hh>
 #include <spot/misc/bddlt.hh>
 #include <spot/twaalgos/sccinfo.hh>
 
diff --git a/spot/misc/game.hh b/spot/twaalgos/game.hh
similarity index 100%
rename from spot/misc/game.hh
rename to spot/twaalgos/game.hh