Minor editing of the documentation