Fix a prettiness bug.