This comment is no longer true.