[ QUOTE ]
you made the correct ruling.
[/ QUOTE ]
Agreed. From Robert's Rules of Poker, Section 3 - General Poker Rules, Dead Hands subsection, Paragraph 2: "Cards thrown into the muck may be ruled dead. However, a hand that is clearly identifiable may be retrieved and ruled live at management’s discretion if doing so is in the best interest of the game. An extra effort should be made to rule a hand retrievable if it was folded as a result of incorrect information given to the player."
http://www.pokercoach.us/RobsPkrRules11.doc