Fix a rather serious buglet

I don't yet completely understand how the old code typechecked or what
it meant yet.  Kind of scary.