fixed some bugs regarding transactions instrumentational code