Edits to db.scm