fix notation for W-types, close #603

I presume this is what you meant.