Bug fix: clear highlighting on selecting new card

I meant to call clearAllHighlighting when selecting a new card, but I
accidentally typed in clearHighlighting. This meant that old highlighting was
not removed when touching a new card. Now this is fixed.