just some code formatting fixes