Fix the build after breaking it in the previous commit.