updated function.html spec