Minor code tweak. No functional changes.