The final .pdf file seems corrupted and doesn't work – after downloading it from either of the two download locations. But thanks anyway.

I've just downloaded the zip file (!) again and extracted the PDF. Works fine for me. What tool are you using for displaying the PDF? Cheers, Peter -- Peter Reutemann, Dept. of Computer Science, University of Waikato, NZ http://www.cs.waikato.ac.nz/~fracpete/ Ph. +64 (7) 858-5174