Tidy for Edify.

See #175.