9.21: added UNGRANT command.