Minor code tweak to make it more readily understandable