minor copyedit #158

Merged
hughrun merged 1 commit from pr-fix into main 2022-10-09 15:50:34 +11:00
No description provided.