K 10 svn:author V 3 mav K 8 svn:date V 27 2008-02-03T10:30:45.000000Z K 7 svn:log V 90 Revert previous commit. glebius@ noticed that it was not a bug, but undocumented feature. END