Very minor cosmetic clean up