Agreed. I changed it in 1c80ccd4db6112498e5583e9a2fe003146e6caa3