fix

git-svn-id: http://wot-xvm.googlecode.com/svn@3388 802240b0-0b4d-18ce-4811-9324b01ec0ff
doc

git-svn-id: http://wot-xvm.googlecode.com/svn@3389 802240b0-0b4d-18ce-4811-9324b01ec0ff