diff -r 1a05a1929e2c -r 3ed1cbd31754 share/hedgewars/Data/Missions/Campaign/A_Space_Adventure/cosmos.lua
--- a/share/hedgewars/Data/Missions/Campaign/A_Space_Adventure/cosmos.lua	Sat May 18 16:38:03 2019 +0200
+++ b/share/hedgewars/Data/Missions/Campaign/A_Space_Adventure/cosmos.lua	Sat May 18 16:54:51 2019 +0200
@@ -276,7 +276,7 @@
 	setFoundDeviceVisual()
 end
 
-function onPreciseLocal()
+function onPrecise()
 	if GameTime > 3000 then
 		SetAnimSkip(true)
 	end