--- a/src/internet/model/ipv6-end-point-demux.cc	Sun May 22 21:57:24 2011 -0700
+++ b/src/internet/model/ipv6-end-point-demux.cc	Sun May 22 22:28:15 2011 -0700
@@ -255,7 +255,7 @@
   uint32_t genericity = 3;
   Ipv6EndPoint *generic = 0;
 
-  for (EndPointsI i = m_endPoints.begin () ; i != m_endPoints.end () ; i++)
+  for (EndPointsI i = m_endPoints.begin (); i != m_endPoints.end (); i++)
     {
       uint32_t tmp = 0;