The code does allow type-through, so the second point is not true. You are correct on the first point, but that does not seem that critical to me.