My mistake, the initial example did trigger the error; now solved