Update documentation (see #209)