Fixed a small issue in ManagerServer