Oops, two definitions that need to be updated.