Some minor code formatting