minor change

Author: tfenz

_posts/2020-07-08-aalwines.md

@@ -40,9 +40,9 @@ that generate the routing tables from the control plane specifications.
 Let us consider the verification of forwarding rules in MPLS routing tables as an example.
 In a nutshell, in MPLS, packet labels can be nested 
 in order to provide tunneling through the network or to handle link
-failures by the fast-reroute mechanism. The mechanism relies on pushing a new MPLS
+failures by the fast-reroute mechanism. This mechanism relies on pushing a new MPLS
 label on top of the label stack, to redirect the flow 
-to go around the failed link. This mechanism can be applied several times
+to go around the failed link. The mechanism can be applied several times
 in case of multiple link failures, creating larger and larger (in theory: unbounded)
 numbers of MPLS labels on the label-stack.