Minor corrections for jenkins widget.