Minor adjustments to code style