K 10 svn:author V 4 paul K 8 svn:date V 27 2000-12-28T19:53:44.000000Z K 7 svn:log V 84 Fix the broken options that were in the development version I committed by mistake. END