Trivial modifications to lib/diffseq.h.