info/db.org: Minor cleanup