Minor code tweak. No functional change intended