Add a missing sequence to thf