Fix #211: reinstate game ID and seed.