This comment is obsolete.