Minor tweaks to gl.js