Ah yes, you are right, this line should stay as it is, we should add a comment tho.