Fix #13 for the setup script