Update procedures.sql