BUGFIX: db_format_game wasn't working any more