clarifications to setup.txt