Some changes to PurePerms.php