small typos in documentation