Your suggested fix was applied in trunk at server r.4643 rev-id: <email address hidden>
Thanks for reporting!
Your suggested fix was applied in trunk at server r.4643 rev-id: <email address hidden>
Thanks for reporting!