Truly minor code cleanup.