Minor improvements of documentation