a few improvements in documentation