Two minor code fixes#312
Merged
chrisgavin merged 4 commits intogithub:mainfrom Nov 20, 2020
ericcornelissen:fix-minor-code-mistakes
Merged
Two minor code fixes#312chrisgavin merged 4 commits intogithub:mainfrom ericcornelissen:fix-minor-code-mistakes
chrisgavin merged 4 commits intogithub:mainfrom
ericcornelissen:fix-minor-code-mistakes