Fix small bugs in documentation.