new documentation and a few small changes