Update documentation.html

Fix syntax