formatting changes to models.py