Fix bug in exception output