Bug fix in getting properties from server-symbol