Minor code tweak