Minor fixes to database lecture