fix for PRG type punning