K 10 svn:author V 4 mike K 8 svn:date V 27 2002-09-24T17:28:12.000000Z K 7 svn:log V 86 Add forgotten include. Fix some style bugs while I'm here. PR: 43326 END