diff -r 6a928999fefd -r 4596357d002d share/hedgewars/Data/Missions/Campaign/A_Space_Adventure/cosmos.lua
--- a/share/hedgewars/Data/Missions/Campaign/A_Space_Adventure/cosmos.lua	Tue May 07 15:50:15 2019 +0200
+++ b/share/hedgewars/Data/Missions/Campaign/A_Space_Adventure/cosmos.lua	Tue May 07 16:08:27 2019 +0200
@@ -271,7 +271,7 @@
 	setFoundDeviceVisual()
 end
 
-function onPrecise()
+function onPreciseLocal()
 	if GameTime > 3000 then
 		SetAnimSkip(true)
 	end