Fix widget.tip demo (1.2 version is not 100% backward-compatible)