It is a mistake of mine I think. I might removed it without noticing. Will put it back.