@xiangli-cmu Can you fix the spelling of this to `NumberOfLogEntriesAfterSnapshot`?