I think that this comment can be removed.