Fixed coding style in Permission