fix bug in setup tools