tags 433633 pending thanks Yes, I noticed this on two architectures: alpha and s390. The patch is ready for upload, and should take care of all architectures where this problem might appear. -- Ludovic Brenta.