Minor cleanup.
Minor cleanup.