Fix an oops in the last change