Minor type modification in database.sql