Doc improvements

I'm proof-reading the whole documentation, there is more to come later.