Fixes prototype fox read_cards()