Minor fixes in documentation