Fix typo and variable names#3649

ndr-ds merged 1 commit intomainlinera-io/linera-protocol:mainfrom

03-25-fix_typo_and_variable_nameslinera-io/linera-protocol:03-25-fix_typo_and_variable_namesCopy head branch name to clipboard