This arose when two commits were pushed at roughly the same time, both of which compiled successfully against master, but not when taken together. This commit fixes a reference in one of the commits that was changed in the other commit.