This definition has now been renamed and moved to the bottom, see the latest commit.