Fixing an issue in db_setup.sql