Clean up warning.  No change to skulpt.js or builtin.js