small cosmetic change in database.js