Fix a bug when updating coverage of a choice.