Update typesetting.js