Update documentation slightly