a few updates to types/Prod