Totally reproducible. Using 3.4.11.1 under Debian. -- Ian Zimmerman <itz at buug.org> gpg public key: 1024D/C6FF61AD fingerprint: 66DC D68F 5C1B 4D71 2EE5 BD03 8A00 786C C6FF 61AD Ham is for reading, not for eating.