minor fix to setup script