This comment is no longer correct I think