formatting changes to database.py