Very minor code formatting fixes