tiny comment and code tweak for clarity