Minor changes in setup.log