Some minor corrections and improvements#332

dimaush wants to merge 1 commit intoalgorithmica-org:masteralgorithmica-org/algorithmica:masterfrom

dimaush:prose-patch-2dimaush/algorithmica:prose-patch-2Copy head branch name to clipboard