A small fix to determinize.