Editorial and formatting changes#8

Closed

giocorti wants to merge 4 commits intomasterfrom

Commits on Nov 2, 2018

Commits on Nov 9, 2018

Added suggested changes
giocorti
committed

Commits on Nov 16, 2018

Minor updates suggested by Leo
giocorti
committed