Updated from javasscripts from formalize 1.1 to 1.2