Minor improvements to ease use of DotNetSequence