Fix a nasty bug in piResultTys