The tiniest bug, but we smash everything. (:-) The file redarrow.gif in the documentation for version 3.9.0 is actually a PNG, not a GIF file. Needs to be renamed and all references corrected, or alternatively changed into a real GIF file. Hans-Georg -- No mail, please.