Undefined variable in Permissions.php returned (typo?!)

Assume, that's ``$roles``, not ``$role`` (At least it would make sense:-)