Don't think that needs simplifying, but the comment is now not relevant any more.