Patch from vdlinden@fwi.uva.nl (Frank van der Linden):