part of darcs patch Wed Sep 21 20:47:51 EEST 2005 Martin Gasbichler <gasbichl@informatik.uni-tuebingen.de>