bugfix in pair2sequence.cc