minor error reporting improvement in bs_xsb.c