This fixes #8275.  The values have been changed to 0.15 and 4.35.  They were at 0.25 and 4.25.  I wonder if they changed?