jfwi,
If I saw that weld that you just described in our shop, the welder that made it would have a grinder in his hand taking care of it and rewelding it before it was signed off and left our shop. I wouldn't have even bothered looking up the verbage to quote it to the welder. It plain looks bad on our shop, I only have a few welders that would argue about fixing something like that, but they would fix it, like it or not. "Most" of our welders look at thier own welds, when they chip off the slag, and would have fixed it on thier own without being told to. It's a "pride thing" with the majority of welders. They like thier stuff to be right when they call you over to inspect their work.
Don't sweat it, you made a good call to have the weld repaired. How long would it really take to fix it correctly, a few minutes at the most. Then there is no worry of field inspectors picking over the rest of your work because they found something like that and figured there had to be more, if you had let that one go.
John Wright