Minor additions in documentation.