Oops, deleted my past comment hastily. Still a good point.