DEVEL: update documentation