Minor re-formatting

Minor re-formatting