Fix inaccessibility elaboration.