Update permissions.php

Small changes...