Implement REVOKE and fix some bugs