Rewording
Documentation changes.
Merge remote-tracking branch 'upstream/master'
Documentation changes.
Merge pull request #17 from zapletal-martin/master

Documentation changes.