simple formatting tweak (which trivially changes the logic)