Small code tweak