Improve setup.txt.