Reverted to previous hilbert version