small changes in docs