fixed small issue with hiding development cards during players discarding