Small changes mostly typographical corrections in docs.
Merge pull request #1 from pramttl/develop

Small corrections in docs.