Fix issue in simshim.