fix

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

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