Do we need these comments any more?