A post-modern development environment.

Fix typos (#12690)


Author Viktor Szépe Committer GitHub Date Commit Parent 0ab403d4