setup.txt fixes