Removing error in Hilbert