Small corrections in Documentation