(i tested it pretty thoroughly in https://github.com/pantsbuild/pants/pull/6339, so i trust your fix)