Very minor code improvement