minor changes in code formatting