Andreas Henriksson wrote:
wouldn't a simple patch like the attached one do the trick?
Most likely yes, but I'd like it tested before installing. This is because the patch shouldn't affect behavior on any platform, and it's better to sanity-check a clerical patch like this (by actually using it) rather than hoping that a typo didn't inadvertently introduce a bug.
