Minor, cleanup.