added invalidate in SIL