Propagate the fix to the py3compat version.