Small fix in HWT.