Ah, that is a leftover from the first implementation. In fact it is not necessary. Thanks!