Minor change in all.py to format results better