diff --git a/binaries/data/mods/public/gui/credits/texts/programming.json b/binaries/data/mods/public/gui/credits/texts/programming.json
index 6d482d2802..edc7b3e35e 100644
--- a/binaries/data/mods/public/gui/credits/texts/programming.json
+++ b/binaries/data/mods/public/gui/credits/texts/programming.json
@@ -160,6 +160,7 @@
 				{ "nick": "Krinkle", "name": "Timo Tijhof" },
 				{ "nick": "Kuba386", "name": "Jakub Kośmicki" },
 				{ "nick": "lafferjm", "name": "Justin Lafferty" },
+				{ "nick": "lairkers" },
 				{ "nick": "Langbart" },
 				{ "nick": "LeanderH", "name": "Leander Hemelhof" },
 				{ "nick": "leper", "name": "Georg Kilzer" },
diff --git a/binaries/data/mods/public/simulation/ai/petra/_petrabot.js b/binaries/data/mods/public/simulation/ai/petra/_petrabot.js
index 4b03d01099..94115d3600 100644
--- a/binaries/data/mods/public/simulation/ai/petra/_petrabot.js
+++ b/binaries/data/mods/public/simulation/ai/petra/_petrabot.js
@@ -88,7 +88,7 @@ PETRA.PetraBot.prototype.CustomInit = function(gameState)
 
 PETRA.PetraBot.prototype.OnUpdate = function(sharedScript)
 {
-	if (this.gameFinished)
+	if (this.gameFinished || this.gameState.playerData.state == "defeated")
 		return;
 
 	for (let i in this.events)