Slightly different mumps bug workaround