Fix minor bug in pattern unification (splitSig), thanks to Nathan Collins for the report