Yes, this is a hard problem.  We might want to actually fix this at some
point, but punt for now.