Weird. Sounds like something we should report upstream, just in case it's a bug.