minor fixes to Database spec