Very minor code cleanup.