Adjusted the aggressive parameters of pgflagger.py