This was tetsed with bootstrap and make-check on alphaev56, but I think you are correct. Clearly it doesn't affect that much. I'll fix when I returnh in NYC in a few days.