I'll push the attached patch tomorrow. I was debating if it was worth adding a NEWS entry since it is a tiny change. But last time I questioned that with a glibc patch it ended up breaking a program. :)
Yes a NEWS entry is worth it. lgtm, cheers, Padraig
