Minor improvements on documentation.