Minor code cleanup in the permissions