Fix Trac #3421: a typo in TysPrim