part of darcs patch Thu Sep 22 13:24:07 EEST 2005 Martin Gasbichler <gasbichl@informatik.uni-tuebingen.de>