Fix bug in sequence_facade.