K 10 svn:author V 6 davide K 8 svn:date V 27 2012-08-17T03:10:48.363069Z K 7 svn:log V 122 Minor cleanup: remove a couple of unused include and a comment that isn't necessary true after the changes recently made. END