Minor fixes in doc