VXLAN: small changes for brevity