Documentation update

For #26.