update documentation, see #9