tidy.txt is no longer neede here