Agreed.  Let's just push it in as-is.