Drop uninteresting information from Exception messages

Fixes #661.