Fix doc: "principle" not "principal"
Merge pull request #3416 from jzwinck/patch-1

Fix doc: "principle" not "principal"