small convenience fixes
authorkramm <kramm>
Wed, 31 Mar 2004 18:42:51 +0000 (18:42 +0000)
committerkramm <kramm>
Wed, 31 Mar 2004 18:42:51 +0000 (18:42 +0000)

No differences found