Fix small typo in correctness and complexity#3

ftripier wants to merge 1 commit intopron:masterpron/pron.github.io:masterfrom

ftripier:fix/typo-in-correctness-and-complexityftripier/pron.github.io:fix/typo-in-correctness-and-complexityCopy head branch name to clipboard