Update procedures.md