changes to fix bug with timeInst