misc ws fix

darcs-hash:20090619215517-75e45-8541bf0877cd14af9a8caed1f6ff9e2e3037ba09.gz
This commit is contained in:
huber 2009-06-19 23:55:17 +02:00
parent d238066d67
commit 3e402c3ba2