some little correction in documentation