minor change in WATcard.cc to operator=