some HexWidget bugfixes