Very minor code style change