Gittrac #4616:  Fixed this and documented the fix in the version
history.