better error message for #2975