vShield Manager VXLAN configuration gone!

Hi,

has anyone seen the VXLAN configuration "network preparation" section gone missing? See attached print screen. vCloud Director can still create new VXLAN based port groups and vShield Manager still pushes out new Edge devices when needed but i need the configuration option back so i can update our environmanet.

As you can see the, vShield Manager got a connection to vCenter Server and can view all the vSphere cluster, the "Multicast addresses" and "segment id pool" are also still available.

Running vShield 5.1.2.

Thanks in advance

/Magnus