Fixing small bugs in xsign