Fixed a proposal bug in add/remove!