Very minor cosmetic code cleanup