Update functions.html

Fixing accidental push.