Minor improvements in documentation