Good catch; I'll add that here and below.