diff --git a/src/www/translator/translator.js b/src/www/translator/translator.js
index f7e9d655d..447027d9e 100644
--- a/src/www/translator/translator.js
+++ b/src/www/translator/translator.js
@@ -962,10 +962,12 @@ function delete_ix(old,ix) {
 
 function insert_ix(old,ix,x) {
     var a=[];
+    var done=false;
     for(var i in old) {
-	if(i==ix) a.push(x);
+	if(i==ix) { a.push(x); done=true; }
 	a.push(old[i])
     }
+    if(!done) a.push(x)
     return a;
 }