Re-add a definition that fell off at last commit.