Edge label layouting: Labels were not moved after moving a box