Fix a use of SequenceBuilder that somehow slipped through the net