Regenerate runtime/min.js to incorporate fix for #44.