Very minor code formatting

Some minor code formatting changes that got left out from the previous PR.