fix for errata 3441 of RFC5155