Fix hilbert -v