That's from Jeff's 54e0178, not actually part of #3076.