Fixed the last technical typos found in the docs. They should look alright
now.