Fix for number formatting in widget.js