Small corrections in doc