Some minor corrections and improvements#331

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

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