Revision 86a7e45d95ed5255bfc9cb75c22d75b9d1579e0b

Committed on 16/10/2018 9:01 am by Petar Å panja <petar@spanja.info> [GitHub Diff]

Some reformatting and rewording