Minor adjustments -- code formatting