diff --git a/bin/precompile.pike b/bin/precompile.pike
index f750a88357f9cf696cb9540032677e9db9db1594..c068f5bd55d7da5fc3a7b985bf1fc875c009cc0a 100644
--- a/bin/precompile.pike
+++ b/bin/precompile.pike
@@ -618,7 +618,7 @@ class PikeType
 		  }else{
 		    repeater=PikeType("void");
 		  }
-		  args=map(argstmp[..end]*({}),PikeType)+
+		  args=map(argstmp[..end]-({({})}),PikeType)+
 		    ({repeater, PikeType(rettmp) });
 		}else{
 		  args=({PikeType("mixed"),PikeType("any")});