(#37) resizing of edge labels