This comment is now out of date.