There are multiple cases where a double bit error is not detected, There is a bug opened against this but it is 4 years old, is the fix avaliable? Is this project still active?