Hide details.

Fixes #633
Better error message formatting

Fixes #632