Very minor code formatting