minor formatting change to database.py