Documentation improvements

See the commits. This also resolves #52.