Just a few changes in documentation