A very small commit, but let’s do all the string corrections while I am already at it :-)
Wraps up #510
No due date set.
This pull request currently doesn't have any dependencies.
Deleting a branch is permanent. It CANNOT be undone. Continue?