Yes indeed, it is quite redundant.