Oh, nice catch! I'll fix it. Right now, I'm not planning to increase the number of cards, but maybe I'll do it during this summer if it's not too much effort.
