Fixed a typo in permissions.php