slight change in ServerProxy