Minor fixes in docs