Some more checks, so that ert_tui runs.