Fix managerproxy (bug #2506)