Minor fixes in docs.