Absolutely a mistake. Good catch!