Update doc

Fixes #18