Work around a bug.