Fixing a bug in 'HexDigToken' that allowed its 'DigitToken' to be a null reference when it shouldn't be