a bug induces by NumericalHilbert