Inline SetSeqToRelease into its only caller, since it's more clear that way.