Fix bug in converting sequence to NFA.