Work around what looks like a bug.