Minor changes in vec3.js