fix for pgi