no `txt` variable involved here