1 files changed, 3 insertions, 0 deletions

diff --git a/rules.js b/rules.js
index 64e035e..71f2b8f 100644
--- a/rules.js
+++ b/rules.js
@@ -46,6 +46,7 @@ const player_names = [
 	"Tan",
 	"Red",
 	"Black",
+	"None"
 ];
 
 const player_index = Object.fromEntries(Object.entries(player_names).map(([k,v])=>[v,k|0]));
@@ -2978,6 +2979,7 @@ function goto_pause_game_over() {
 function goto_game_over() {
 	compute_victory();
 	game.state = 'game_over';
+	game.active = 5;
 }
 
 states.pause_game_over = {
@@ -2988,6 +2990,7 @@ states.pause_game_over = {
 	},
 	end_game() {
 		game.state = 'game_over';
+		game.active = 5;
 	}
 }