Fix the setup.sql