Dramatically better error messages for #32.