This is actually intentional. Without it the backtrace prints twice. I'll add a comment.