better error message for #3286