Update PROCEDURES.md