Minor INSTRUCTIONS update