Update procedures.js