3rd vlan property; spotted small bug in FL to Alloy