That change is from #1019.