This comment is probably no longer correct