Revision e3ab80c8accdce3bf121e94e5c1a30212f07ef72

Committed on 12/10/2018 6:06 am by Petar Å panja <[email protected]> [GitHub Diff]

Some rewordings and typo fixes