Minor improvements/fixes in documentation