* Minor code reformatting