Removed now irrelevant comment