formatting changes. @sbezboro do you know if there is a config setting which will make our laptops use different formatting? I think I just saw this same change from one of your commits.