public void Finish() {
scopeManager.CheckEmpty();
// We may need to fix line info for the last end-tag
reader.Read();
FixLastLineInfo();
if (topLevelReader) {
while (reader.ReadState == ReadState.Interactive) {
reader.Skip();
}
}
}