PR4909

Hello,

This patch fixes PR4909.

-Jakub

pr4909.patch (1.1 KB)