I think this comment isn't correct anymore.