Updated credits for #895 threshold rounding fix.