this is auto-generated stuff that's failing. should be pending