Tiny fixes in documentation.