Small code tweak. No functional change intended