Taken care of in `widget.js` now.