Minor bugfix in Topology Manager