K 10 svn:author V 3 phk K 8 svn:date V 27 1997-01-16T10:12:30.000000Z K 7 svn:log V 89 Trivial fix for braino. Reviewed by: phk Submitted by: Martin Ibert END