Hmmm. I guess I could do that, but I was hoping to actually fix the problem directly, rather than applying a long-term bandaid.
However, if that's the proper substitution, I suppose I can just slap something together with awks...I'll just have to be very careful.
I was just wondering if someone hadn't done this already.