The NFA seems to work now (as far as I can see).