Fix a few documentation bugs.