Update definitions.html