I think that this comment can be omitted.