Some reformatting. Only a cosmetic change.