Update proto.html