K 10 svn:author V 5 wpaul K 8 svn:date V 27 1996-06-15T16:19:57.000000Z K 7 svn:log V 47 Bring in fix from HEAD: add missing semicolon. END