Improved @{permission} documentation and output.

A minor commit for a minor commitment to quality.