Fixed highlighting of initial state in rendered NFA