Update procedure.md