Fix bug in unrecobverable error.