another code tweak; formatting only