Fix #740. Add/remove multiple permissions at a time for a given role.