A shuffled deck, addendum