cleaning up comments in `Permission`