reformatting to satisfy checks in check.py