update INSTRUCTIONS.md