Update ops.html