Fast fix for avoiding a bug in CardStateMap.java.