A tiny, outright bug in tcDataFamInstDecl