Fixed several bugs in revoking firewalls (issue #35)