may be a bug in assigning cards to envelope