BUG: fix of issue #4028

Fixes issue #4028