Sorry for missing that earlier, before the improvements to xwidgets were
installed.