Fix double delete bug in isolator module