No, of course, it is not needed. removed in my next commit (done)