Update documentation.html

Update attribute name