fixed a bug with cardhighlighter