some code formatting fixes