Update geppetto-specs.js