It seems that this comment isn't needed.