--- a/src/mobility/position-allocator.cc	Fri Jan 09 08:17:46 2009 +0100
+++ b/src/mobility/position-allocator.cc	Fri Jan 09 08:31:17 2009 +0100
@@ -70,6 +70,10 @@
 {
   Vector v = *m_current;
   m_current++;
+  if (m_current == m_positions.end()) 
+    {
+      m_current = m_positions.begin ();
+    }
   return v;
 }