Fix an obscure bug which made some games crash on start