Code

Fix typos in technical documentation.