Minor source code reformatting