DB lab#1. Some minor changes (mostly formatting)