Update proglang.js