Very slight code cleanup.