We did this ecause we thought discard does not mean destroy hence not the gravyard.
Well, you were half right. Discard does not mean graveyard, however discard DOES still mean discard. It gets returned to the treasure deck discard pile just like always.
Discard means discard. You don't have 'dis card anymore!
Heh. Good one. =P