Allow exceptions whose header has no message.

Closes #122.