Update documentation slightly.