very minor minor change to some comment