Update INSTRUCTIONS.html