bring widget.js up to date, fix small issue