Not set attributes throw error

AttributeInstance attributeInstance6 = baseAttributeMap3.getInstance(attributeSnapshot5.getName());
if (attributeInstance6 == null) {
    attributeInstance6 = baseAttributeMap3.registerAttribute(new RangedAttribute(null, attributeSnapshot5.getName(), 0.0, Double.MIN_NORMAL, Double.MAX_VALUE));
}

are a few codelines in the "ClientPacketListener" class in the "handleUpdateAttributes" (according to the Mojang mappings), which I believe should not contain "Double.MIN_NORMAL", but rather "Double.MIN_VALUE", since this will in every case throw an exception, since 0 < DOUBLE.MIN_NORMAL (in the following RangedAttribute constructor)