bug fix for bug reported by Will Benton on 18 September 2007 14:36
bug fix for bug reported by Will Benton on 18 September 2007 14:36

anddann/soot,xph906/SootNew,mbenz89/soot,xph906/SootNew,mbenz89/soot,mbenz89/soot,cfallin/soot,plast-lab/soot,anddann/soot,plast-lab/soot,anddann/soot,xph906/SootNew,cfallin/soot,plast-lab/soot,anddann/soot,cfallin/soot,mbenz89/soot,cfallin/soot,xph906/SootNew