* fixes to HaveX