Minor mod to pgrun.go