*** GfxFont.cc	Sun Mar 29 21:50:51 2009
--- GfxFont.cc_new	Tue Jun 30 12:59:41 2009
***************
*** 1588,1598 ****
  	  if (obj3.arrayGet(k, &obj4)->isNum() &&
  	      obj3.arrayGet(k+1, &obj5)->isNum() &&
  	      obj3.arrayGet(k+2, &obj6)->isNum()) {
! 	    widths.excepsV[widths.nExceps].first = j;
! 	    widths.excepsV[widths.nExceps].last = j;
! 	    widths.excepsV[widths.nExceps].height = obj4.getNum() * 0.001;
! 	    widths.excepsV[widths.nExceps].vx = obj5.getNum() * 0.001;
! 	    widths.excepsV[widths.nExceps].vy = obj6.getNum() * 0.001;
  	    ++j;
  	    ++widths.nExcepsV;
  	  } else {
--- 1588,1598 ----
  	  if (obj3.arrayGet(k, &obj4)->isNum() &&
  	      obj3.arrayGet(k+1, &obj5)->isNum() &&
  	      obj3.arrayGet(k+2, &obj6)->isNum()) {
! 	    widths.excepsV[widths.nExcepsV].first = j;
! 	    widths.excepsV[widths.nExcepsV].last = j;
! 	    widths.excepsV[widths.nExcepsV].height = obj4.getNum() * 0.001;
! 	    widths.excepsV[widths.nExcepsV].vx = obj5.getNum() * 0.001;
! 	    widths.excepsV[widths.nExcepsV].vy = obj6.getNum() * 0.001;
  	    ++j;
  	    ++widths.nExcepsV;
  	  } else {