Russ, Robin,

Any objections to this patch?

Eric, please send such patches to the appropriate list, it's in ia64
file after all.

Thanks,
Jes