fixed bugs besides those in xsb_communications