slight improvement for XSB error message