Merge branch 'patch-1' of github.com:mat-mo/doc into patch-1
Merge branch 'patch-1' of github.com:mat-mo/doc into patch-1