Just a formatting cleanup here