diff --git a/src/runtime/javascript/minibar/support.js b/src/runtime/javascript/minibar/support.js
index ec8c8ed90..cd1618a63 100644
--- a/src/runtime/javascript/minibar/support.js
+++ b/src/runtime/javascript/minibar/support.js
@@ -68,8 +68,7 @@ function tr(cells) {
 }
 
 function button(label,action) {
-  var el=empty("input");
-  el.setAttribute("type","button");
+  var el=empty("input","type","button");
   el.setAttribute("value",label);
   el.setAttribute("onclick",action);
   return el;